The First Dialogue of Three Dialogues covers a lot of ground. It introduces the two characters of the Dialogues, lays down the issue to be discussed, and, by means of the conversation, wrings from Hylas two important concessions. Hylas, who is apparently accustomed to sleeping in, opens the dialogue by revealing that he is up early due to a problem on his mind arising from a late night discussion. Philonous responds with a flowery and enthusiastic account of the beauties of (...) nature to be enjoyed by the early riser. Philonous gets from Hylas the willing admission that nothing is perceived immediately except the proper objects of the senses. George Berkeley leads into the discussion of primary and secondary qualities from a last ditch attempt by Hylas to resurrect his argument about sound with respect to color. He proposes that color is nothing more than the motion of light particles. (shrink)

The results of the previous research which tried to investigate links between self-esteem and narcissism in search of the source of narcissistic fragility are not consistent. The aim of the study was to contribute to the understanding of this complex relation by assessing relationships between the four facets of grandiose narcissism measured by the NPI and the two kinds of self-esteem i.e. explicit and implicit, and by comparing the results with theoretical models. The Implicit Relational Assessment Procedure, a more recent (...) measure based on response latency, was used to assess ISE. The analysis confirms the reports on NPI heterogeneity. Different relationships between the particular facets of narcissism and ESE/ise were observed. These differences indicate that composite measures of narcissism and ISE do not reflect the entire complexity of the phenomena. The results provide support for the two theoretical models i.e. the global marker model and the mask model. (shrink)

This article examines the following questions: Is there a human right to food and water in the international sphere? Is it possible to derive such human rights as “general principles of law” within the meaning of public international law, which are independent from contractual agreement or recognition by States? What exactly would such a right to food and water comprise? Is there a constitutional rank relationship evolving between human rights and public international law which might affect the interpretation of, e. (...) g., WTO law? How can conflicting considerations be balanced? (shrink)

In response to the dozen essays published here, which relate my 1964 paper on “The Nature of Belief Systems in the Mass Publics” to normative requirements of democratic theory, I note, inter alia, a major misinterpretation of my old argument, as well as needed revisions of that argument in the light of intervening data. Then I address the degree to which there may be some long‐term secular change in the parameters that I originally laid out. In the final section, I (...) provide a case study of public understanding of factual trends in federal tax policy in recent decades which seems commendably veridical on average. The preferences of the public thereon add up to a remarkably clear popular mandate. But this mandate seems to disappear rather magically in the voting booth, probably due to a combination of limited contextual information on the public side, and considerable skill on the elite side in manipulating apparent political realities. (shrink)

The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page. N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.

The paper criticizes the truthmaker principle that every truth is made true by something. If we interpret ‘something’ as quantifying into sentence position, we can interpret the principle as a harmless logical truth, but that is not what advocates of the principle intend. They interpret ‘something’ as quantifying into name position, and the principle as requiring the existence of truthmaking individuals. The paper argues that we have no reason to believe the principle on this interpretation. Moreover, the converse Barcan (...) formula is inconsistent with the existence of truthmaking individuals for contingent truths. Considerations about our ability to count possible truthmaking individuals are used to argue that we should prefer the converse Barcan formula. (shrink)

The topic of the democratic public's limited competence has preoccupied students of democracy for centuries. Anecdotal concerns about the problem reached their peak of sophistication in the writings of Walter Lippmann and Joseph Schumpeter. Not until Philip E. Converse's “The Nature of Belief Systems in Mass Publics” did statistical research overwhelmingly confirm the worst fears of such democratic skeptics. Subsequent work has tended to confirm Converse's picture of a tiny stratum of well‐informed ideological elites whose passionate political debates (...) find little echo, or even awareness, in the mass public. While a great deal of attention has been devoted to “saving” democratic legitimacy from such findings, the Converse‐inspired work of John Zaller (1992) shows how fruitful Converse's basic ideas can be not only in analyzing real‐world political events, but in pulling together and stimulating new lines of research into what moves the “creative synthesizers” of belief systems; into the factors that affect the small numbers of people who grasp such systems and attempt to transmit them to the public; and into the long‐term psychological or cultural sources of the predispositions with which members of the mass public confront the resulting political messages. (shrink)

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

Three confirmation principles discussed by Hempel are the Converse Consequence Condition, the Special Consequence Condition and the Entailment Condition. Le Morvan (1999) has argued that, when the choice among confirmation principles is just about them, it is the Converse Consequence Condition that must be rejected. In this paper, I make this argument definitive. In doing that, I will provide an indisputable proof that the simple conjunction of the Converse Consequence Condition and the Entailment Condition yields a disastrous (...) consequence. (shrink)

A system S has the “converse Ackermann property” if -> C is unprovable in S whenever C is a propositional variable. In this paper we define the fragments with the C.A.P. of some well-know propositional systems in the spectrum between the minimal and classical logic. In the first part we succesively study the implicative and positive fragments and the full calculi. In the second, we prove by a matrix method that each one of the systems has the C.A.P. Thus, (...) we think the problem proposed in Anderson & Belnap § 8.12 has been solved. (shrink)

In this paper I present two cases, taken from the history of science, in which mathematics and physics successfully interplay. These cases provide, respectively, an example of the successful application of mathematics in astronomy and an example of the successful application of mechanics in mathematics. I claim that an illustration of these cases has a twofold value in the context of the applicability debate. First, it enriches the debate with an historical perspective which is largely omitted in the contemporary discussion. (...) Second, it reveals a component of the applicability problem that has received little attention. This component concerns the successful application of physical principles in mathematical practice. With the help of the two examples, in the final part of the paper I address the following question: are successful applications of mathematics to physics and successful applications of physics to mathematics two sides of the same problem? (shrink)

In 'Axiological Actualism' Josh Parsons argues that 'axiological actualism', which is 'the doctrine that ethical theory should refrain from assigning levels of welfare, or preference orderings, or anything of the sort to merely possible people', lends plausibility to 'the converse intuition'. This is the proposition that 'the welfare a person would have, were they actual, can give us a reason not to bring that person into existence'. I show that Parsons's argument delivers less than he promises. It could be (...) convincing only to actualists who hold certain views about normative ethics, and could at most convince them to heed the converse intuition only under certain circumstances. (shrink)

In 'Axiological Actualism' Josh Parsons argues that 'axiological actualism', which is 'the doctrine that ethical theory should refrain from assigning levels of welfare, or preference orderings, or anything of the sort to merely possible people', lends plausibility to 'the converse intuition'. This is the proposition that 'the welfare a person would have, were they actual, can give us a reason not to bring that person into existence'. I show that Parsons's argument delivers less than he promises. It could be (...) convincing only to actualists who hold certain views about normative ethics, and could at most convince them to heed the converse intuition only under certain circumstances. (shrink)

We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce (...) specifically for this purpose. This problem is then reduced to the emptiness problem for alternating two-way automata on infinite trees. Our approach to (i) also provides a shorter and more elegant proof of Danecki's difficult result that satisfiability in IPDL is in 2EXPTIME. We prove the lower bound(s) for infinite-state model checking using an encoding of alternating Turing machines. (shrink)

This paper explains how Kepler in his ``War onMars'' applied systems of models organized bothin a perspectival and in a stratifiedconceptual sense. With the help of thesesystems Kepler worked out successively moredeterminate models for the planetary orbits.Along the way he discovered the Keplerian lawsas consequences of the distance rule, hisleading regulative principle. The selection ofdecisive, so called privileged, observations,as well as the determinate geometrical andkinematical description of the phenomena,result from the application of this principleto the developing of models. Kepler's method (...) ofdiscovery may therefore appropriately bedesignated converse abduction. (shrink)

This paper explains how Kepler in his ``War onMars'' applied systems of models organized bothin a perspectival and in a stratifiedconceptual sense. With the help of thesesystems Kepler worked out successively moredeterminate models for the planetary orbits.Along the way he discovered the Keplerian lawsas consequences of the distance rule, hisleading regulative principle. The selection ofdecisive, so called privileged, observations,as well as the determinate geometrical andkinematical description of the phenomena,result from the application of this principleto the developing of models. Kepler's method (...) ofdiscovery may therefore appropriately bedesignated converse abduction. (shrink)

This paper discusses how to update one’s credences based on evidence that has initial probability 0. I advance a diachronic norm, Kolmogorov Conditionalization, that governs credal reallocation in many such learning scenarios. The norm is based upon Kolmogorov’s theory of conditional probability. I prove a Dutch book theorem and converse Dutch book theorem for Kolmogorov Conditionalization. The two theorems establish Kolmogorov Conditionalization as the unique credal reallocation rule that avoids a sure loss in the relevant learning scenarios.

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, (...) along with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

Claims that necessary and sufficient conditions are not converse relations are discussed, as well as the related claim that If A, then B is not equivalent to A only if B . The analysis of alleged counterexamples has shown, among other things, how necessary and sufficient conditions should be understood, especially in the case of causal conditions, and the importance of distinguishing sufficient-cause conditionals from necessary-cause conditionals. It is concluded that necessary and sufficient conditions, adequately interpreted, are converse (...) relations in all cases. (shrink)

Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse ( REG c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which (...) various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG c logics is coNP-complete. (shrink)